Semi-symbolische Simulation analoger Schaltungen mit Parameterschwankungen
نویسندگان
چکیده
Die Verifikation integrierter mixed-signal Schaltungen wird mit zunehmenden Prozessvariationen bei gleichzeitig sehr dicht an den Grenzen des Machbaren liegenden Designs zu einer kritischen Aufgabe. Um diese zu bewältigen, werden neben Monte Carlo und Corner Case Simulation neue Methoden benötigt. Dieser Beitrag gibt einen Überblick über den semisymbolischen Ansatz. Beim semi-symbolischen Ansatz werden Prozessvariationen und andere Unsicherheiten durch Symbole modelliert und simuliert. Im Vergleich zur numerischen Simulation können dabei Verteilungen und Wertebereiche durch einen einzigen Simulationslauf sicher verifiziert werden.
منابع مشابه
Symbolische Modellprüfung Aktor-orientierter High-level SystemC-Modelle mit Intervalldiagrammen
Jens Gladigau, Frank Blendinger, Christian Haubelt und Jürgen Teich Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design) Universität Erlangen-Nürnberg {gladigau, blendinger, haubelt, teich}@codesign.informatik.uni-erlangen.de In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. by Christoph Scholl, Sefan Disch (Eds.). GI/ITG/GMM-Workshop, Sh...
متن کاملEigenschaftsraumexploration bei der hierarchischen Dimensionierung analoger integrierter Schaltungen
Mittels Eigenschaftsraumexploration können die erreichbaren Eigenschaftswerte eines analogen Schaltungsblocks für eine gegebene Topologie und Technologie bestimmt werden. Diese Arbeit gibt einen kurzen Überblick über Methoden der Entwurfsraumexploration. Anhand eines OTA-C Filters wird der hierarchische Entwurfsprozess für analoge Schaltungen und die Bedeutung der Eigenschaftsraumexploration fü...
متن کاملFunktionale Simulation analoger Systeme mit Masongraphen
Abstrakte Beschreibungen analoger Signalverabeitungssysteme gehen häufig von einem Blockschaltbild aus. Besitzen einzelne Komponenten ein nichtlinieares Verhalten, muss im Allgemeinen auf spezielle Analyseverfahren zurückgegriffen werden. Die getrennte Behandlung der Spektralkomponenten eines Signals erfordert bei der Simulation eine komplexe Datenhaltung. Der hier präsentierte Ansatz einer ver...
متن کاملEffiziente Simulation von Gateoxiddefekten auf Gatterebene mit Transistorlevel-Genauigkeit
Die fortschreitende Skalierung integrierter Schaltungen führt dazu, dass Verschleißerscheinungen wie Gateoxiddefekte immer mehr in den Fokus von Schaltungsdesignern geraten, da sie ein Ausmaß erreichen, das die Lebensdauer dieser Schaltungen signifikant begrenzt. Um dieser Entwicklung Rechnung zu tragen, verwenden viele Tools, die oberhalb der Transistorebene angesiedelt sind, allerdings nur pa...
متن کاملSynchronisierungsprobleme von Schaltwerken in Wave Pipelining Architektur und ihre Auswirkungen auf die Wahl der Schaltungstechnik
Digitale Schaltwerke werden üblicherweise als synchron operierende Schaltungen ausgelegt, aber auch asynchrone Architekturen sind seit Langem bekannt. In diesem Beitrag wird ein neuer Ansatz zur Auslegung von Schaltwerken vorgestellt, der von der generischen Architektur einer Asynchronous Wave Pipeline (AWP) ausgeht, die ursprünglich für Hochleistungsdatenpfade konzipiert wurde. Ziel ist die Ve...
متن کامل